101. Extensions of logic programming : third international workshop, ELP '92, Bologna, Italy, February 26-28, 1992 : proceedings
Author: ELP '29 )2991: Bologna, Italy(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic programming-- Congresses
Classification :
QA
76
.
63
.
E47
1992
102. Extensions of logic programming : third international workshop, ELP'92, Bologna, Italy, February 26-28, 1992 : proceedings
Author: E. Lamma, P. Mello, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
660
103. First-order dynamic logic
Author: Harel, David
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical,، Recursion theory
Classification :
QA
76
.
6
.
H34
1979
104. First-order dynamic logic
Author: Harel, David
Library: Central Library and Documentation Center (Kerman)
Subject: ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical,، Recursion theory
Classification :
QA
76
.
L4
v
.
68
105. First-order dynamic logic
Author: Harel, David, 0591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer programming,، Logic, Symbolic and mathematical,، Recursion theory
Classification :
QA
76
.
L28
Vol
.
68
106. Formal methods: Theory and practice
Author: Edited by P. N. Scharbach
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Computer sytems, programming- Applications of mathematical logic
Classification :
QA
،
76
,.
755
،.
F67
،
1989
107. Foundations of Logic and Functional Programming Workshop,Trento, Italy, December 15-19, 1986 : proceedings
Author: M. Boscarol, L. Carlucci Aiello, G. Levi )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Functional programming )Computer science(,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
306
108. Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings
Author: Foundations of Logic and Functional Programming Workshop, )6891, Trento, Italy(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Functional programming )Computer science(-- Congresses,، Logic, Symbolic and mathematical-- Congresses
Classification :
QA
76
.
6
.
F6858
1986
109. Foundations of deductive databases and logic programming
Author: contributors, Krzysztof R. Apt ... ]et al.[ ; edited by Jack Minker
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Deductive data bases , Logic programming
Classification :
QA
76
.
9
.
D32
F68
1988
110. Foundations of equational logic programming
Author: Holldobler, Steffen
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic programming
Classification :
QA
76
.
63
.
H65
1989
111. Foundations of equational logic programming
Author: Holldobler, Steffen, 7591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic programming
Classification :
QA
76
.
L28
Vol
.
353
112. Foundations of inductive logic programming
Author: Nienhuys-Cheng, S. H. )Shan-Hwei(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic programming,، Machine learning,، Induction )Logic(
Classification :
QA
76
.
63
.
N54
1997
113. Foundations of inductive logic programming
Author: Nienhuys-Cheng, Shan-Hwei
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Logic programming
Classification :
QA
76
.
63
.
N5
1997
114. Foundations of inductive logic programming
Author: Nienhuys-Cheng, Shan-Hwei, 3491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic programming,، Machine learning,، Induction )Logic(
Classification :
QA
76
.
L28
Vol
.
1228
115. Foundations of logic programming
Author: J.W. Lloyd
Library: Vali Asr University Central Library (Kerman)
Subject: Logic programming,Programming languages )Electronic computers( -- Semantics
Classification :
QA
76
.
6
.
L583
1987
116. Foundations of logic programming
Author: Lloyd, John Wylie
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic programming,، Programming languages )Electronic computers( - Semantics
Classification :
QA
76
.
6
.
L583
1984
117. Foundations of logic programming
Author: Lloyd, J. W.)John Wylie(
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic programming,، Programming languages )Electronic computers( - Semantics
Classification :
QA
76
.
6
.
L583
1987
118. Foundations of logic programming
Author: Lloyd, John Wylie, 7491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic programming,، Programming languages )Electronic computers( -- Semantics
Classification :
QA
76
.
6
.
L56
1987
119. Foundations of probabilistic logic programming :
Author: Fabrizio Riguzzi.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming.,Probabilities-- Data processing.,COMPUTERS-- Logic Design.,Logic programming.,Probabilities-- Data processing.
Classification :
QA76
.
63
.
R54
2018
120. From Logic Design to Logic Programming:
Author: D Snyers
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic.,Computer programming.,Computer science.
Classification :
QA76
.
9
.
A96
D769
1987
